Before the passage of the US Immigration Act of 1924, governments of migrant-receiving countries decided whether to admit most prospective immigrants only after they arrived at the border; afterward, the United States and then later other migrant-receiving states required prospective migrants and visitors to apply for visas in their country of residence before coming—an institution that Zolberg has termed “remote control.” Previous scholars wrote about remote control in terms of how it increased the capacity of states to reduce immigration, protect (...) their societies from external threats, and maintain sovereignty, but did not analyze in detail how it did so. Here I analyze three ways through which remote control was a model for a more general revolution in migration control that simultaneously reduced interactions between inhabitants in migrant-receiving societies and those in migrant-sending societies, slowed down the historical reduction of inequality between migrant-sending and migrant-receiving societies, and reduced research and critical awareness within migrant-receiving societies about remote control’s structural impact on societies in general. First, this institution brought more order and precision to the process of individually evaluating prospective visitors. Second, it enabled states to select and define authorized migrants according to their migratory purpose and to force other migrants either to demonstrate enough stamina and strength to enter unauthorized or to die trying. Third, by moving the migrant selection process to migrant-sending societies remote control reduced contact between residents in migrant-receiving societies and prospective migrants in migrant-sending societies. In these three ways, remote control has more generally constrained migratory opportunities and global mobility of individuals between distinct societies. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

Recent proposals for human-centered AI (HCAI) help avoid the challenging task of specifying an objective for AI systems, since HCAI is designed to learn the objectives of the humans it is trying to assist. We think the move to HCAI is an important innovation but are concerned with how an instrumental, economic model of human rational agency has dominated research into HCAI. This paper brings the philosophical debate about human rational agency into the HCAI context, showing how more substantive ways (...) to understand human objectives may improve HCAI. We contrast the economic approach with two more substantive modern alternatives: the realist and constructivist approaches to human rational agency. The realist approach holds that rational agents pursue what is good, while the constructivist approach holds that rational agents make autonomous choices. We illustrate each by considering its implications for fine-tuning large language models for chatbots such as ChatGPT. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities such as (...) organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

Classical (i.e., non-quantum) mechanics is the foundation of many models of dynamical physical phenomena. As such those models inherit the ontological commitments inherent in the underlying physics...

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being (...) its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. (shrink)

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to (...) in the literature as ‘approximation’. (shrink)

In R. Holte and A. Howe (eds.), Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07).

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this (...) theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations. (shrink)

Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.

This paper shows in a case study that for the development, the presentation, and the computer-assisted verification of formal ontologies the usage of higher-order languages and associated proof ass...

Published in extended form as "Endurants and Perdurants in Directly Depicting Ontologies", -/- We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate in such processes. For this purpose we distinguish between ontologies and metaontology. Ontologies are based on very simple directly depicting languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct (...) though compatible systems of categories. In a SNAP (snapshot) ontology we have the enduring entities in a given domain as they exist to be inventoried at some given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontology are required, together with the meta-ontology which joins them together. On the level of meta-ontology we are able to impose constraints on ontologies of a sort which can support efficient processing of large amounts of data. (shrink)

Classical systems of mereology identify a maximuml set of jointly exhaustive and pairwise disjoint (RCC5) relations. The amount of information that is carried by each member of this set of (crisp) relations is determined by the number of bits of information that are required to distinguish all the members of the set. It is postulated in this paper, that vague mereological relations are limited in the amount of information they can carry. That is, if a crisp mereological relation can carry (...) N bits of information, then a vague mereological relation can carry only 1 ⩽ n < N bits. The aim of this paper is it to explore these ideas in the context of various systems of vague mereological relations. The resulting formalism is non-classical in the sense of quantum information theory. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token ontologies. In (...) a SNAP (snapshot) ontology we have enduring entities such as substances, qualities, roles, functions as these exist to be inventoried at a given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontological theory are required, together with the metaontology which joins them together, in order to give a non-reductionistic account of both static and dynamic aspects of the geospatial world. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

In the criminal law, the law of attempts is of comparatively recent vintage. It is part of an important contemporary legal trend towards early intervention in the criminal process. There are now a substantial number of crimes on the books that, like the crime of attempt, only require that the perpetrator start down the road to carrying out his criminal intentions and do not require him actually to have harmed his victim. Besides the law of attempts, these new crimes include (...) conspiracy and solicitation, forgery and counterfeiting, the possession offences, even corruption of youth. In all these cases, the law is stepping in to forestall harm, rather than waiting until a harm has already happened. (shrink)

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

This paper contends that an effective way to elicit student interest in philosophical problems is to engage them in controversies they care about. The author describes an exercise that introduces basic elements of rational discourse, e.g. truth, belief, facts, rational disagreement, by questioning whether there any matters of opinion. In addition to providing an argument why there are no matters of opinion, the paper describes standard student responses and counterexamples to being told there are no matters of opinion, and offers (...) suggestions on how best to respond to said responses. (shrink)

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

A prevalent assumption in metaethics is that people believe in moral objectivity. If this assumption were true then people should believe in the possibility of objective moral progress, objective moral knowledge, and objective moral error. We developed surveys to investigate whether these predictions hold. Our results suggest that, neither abstractly nor concretely, people dominantly believe in the possibility of objective moral progress, knowledge and error. They attribute less objectivity to these phenomena than in the case of science and no more, (...) or only slightly more, than in the cases of social conventions and personal preferences. This finding was obtained for a regular sample as well as for a sample of people who are particularly likely to be reflective and informed (philosophers and philosophy students). Our paper hence contributes to recent empirical challenges to the thesis that people believe in moral objectivity. (shrink)

Pictures in historical chapters of textbooks convey information about the values and assumptions of the authors’professions and the larger culture. We scrutinized 15 recent abnormal psychology textbooks for reproductions of art created before 1900. Thirteen works appeared in three or more textbooks. Overall, these pictures support a “Whiggish” account of history that celebrates the present and gives a distorted, incomplete rendering of the past. The 13 pictures tended to depict the mentally ill as an underclass who are released from their (...) literal and metaphorical shackles by men who are “ahead of their time” in their struggles against prevailing ignorance. The pictures also emphasized the difference of the mentally ill by presenting a catalogue of stereotypic visual elements attributed to insanity throughout Western history. We argue for the inclusion in textbooks of “history for the sake of the past” as a way of genuinely engaging different ideologies and thereby stimulating interest in our own implicit values and biases. (shrink)

According to the prevalent 'sum view' of stuffs, each portion of stuff is a mereological sum of its subportions. The purpose of this paper is to re-examine the sum view in the light of a modal temporal mereology which distinguishes between different varieties of summation relations. While admitting David Barnett's recent counter-example to the sum view, we show that there is nonetheless an important sense in which all portions of stuff are sums of their subportions. We use our summation relations (...) to develop, as an alternative to the sum view, an analysis of stuffs that distinguisher between the ways in which different sorts of stuffs are sums of their subportions. (shrink)

Post-Structuralist Discourse Theory analyzes political ideas and action from a Marxist direction. However, while classic Marxian sociology is rooted in economic processes that “structure” society and ideas, Post-Structuralist Discourse Theory emphasizes the absence of any determinative principle. Thus, it radicalizes an ongoing shift in Marxism away from economic essentialism towards indeterminacy, contingency, and openness. The ideological superstructure becomes ever more important at the expense of the economic base; class struggle and relations of production lose analytical and strategic purchase in favor (...) of a complex and integral form of politics; there are no deeper, natural foundations determining how society is organized and structured. Post-Structuralist Discourse Theorists argue that this orientation leads to a more satisfactory analysis of political practice than is possible through positivist research. Assessing this claim requires a survey of the hermetic terminology in which Post-Structuralist Discourse Theorists express their ideas—the discourse, as it were, of Discourse Theorists—exploring their use of sociology, structuralist linguistics, psychoanalysis, and the political theory of populism. (shrink)

Poststructuralist discourse theory is enjoying increasing recognition for its potential to contribute to the study of institutional change and continuity. Yet the most fruitful approach to realizing this potential has hitherto not been found. The main proposition so far has been to operationalize DT’s insights and concepts by adopting them into the framework of discursive institutionalism. However, an ongoing debate about the compatibility of the ontologies underlying DT and DI has cast doubts over whether such a combination is theoretically feasible. (...) The critical literature review in the first part of this article indeed finds insurmountable ontological differences between the discourse-theoretical and the discursive-institutionalist traditions, as their clashing notions of what is understood as a ‘discourse’ result in diverging views on power, agency, and subjectivity. Instead of merging DT into DI, I suggest to empower the former as a self-sufficient paradigm for institutional analysis. To achieve this, the second part of this article re-articulates the ‘logics framework’ proposed by Jason Glynos and David Howarth into a middle-range theory for the study of institutionalization and politicization in a discourse-theoretical fashion. The purpose of this re-articulation is to dispel various arguments against the viability of an autonomous poststructuralist approach to institutions. (shrink)

Biomedical Ontologies integrate diverse biomedical data and enable intelligent data-mining and help translate basic research into useful clinical knowledge. We present the RNA Ontology (RNAO), an o...

Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize reasoning (...) efficiency even at the price of simplifications on the side of representation, philosophical ontologists argue that representational adequacy can bring benefits for the stability and resistance to error of an ontological framework and also for its extendibility in the future. In bioinformatics, however, a third sense of ‘ontology’ has established itself, above all as a result of the successes of the Gene Ontology (hereafter: GO), which is a tool for the representation and processing of information about gene products and their biological functions [Gene Ontology Consortium 2000]. We show how Basic Formal Ontology (BFO) has established itself as an overarching ontology drawing on all three of the strands distinguished above, and describe applications of BFO especially in the treatment of biological granularity. (shrink)

The purpose of this paper is to engage with the readers in a theoretical reflection on nursing practices in forensic psychiatric settings. In this paper, we argue that practices of exclusion in forensic psychiatric settings share some common ground with Agamben's description of sovereign power and, consequently, the possible creation of zones of exception in this environment. The concept of exception is, therefore, purposely used to shift our thinking, highlight the political forces surrounding exclusionary practices in forensic psychiatric nursing, and (...) explore the ethical tensions that arise for nurses who become entangled in the control of these zones of exception. We argue that ethical and political discussions regarding this phenomenon are necessary if we wish to further understand the complexities of this field of practice and promote constructive change. (shrink)

ABSTRACT Ever since an intense theoretical debate over a decade ago, the concept of heterogeneity has had a well-established place within poststructuralist Discourse Theory. It captures the interactions between the heart of the space of representation and its margins, between excluded excess and manifest presence; and conceptualizes particularities, differential remainders, and discursive exteriority. The analytical implications of heterogeneity remain underexploited, however. This contribution makes the case that one way to operationalize the notion of heterogeneity in empirical research is by tracing (...) its strategic effects. Since heterogeneity constitutes ‘the primary terrain within which homogeneizing logics operate’, heterogeneous dynamics like the ‘incorporation of new demands’ and ‘the exclusion of others who were previously present’ affect and shape the availability and feasibility of political strategies. This contribution first provides an extensive definition of heterogeneity drawing on the original debate that gave the concept prominence. An approach that captures and explains the strategic effects of heterogeneity is then developed through the integration of heterogeneity into the logics framework. Finally, this approach is illustrated through an exploration of the politics of international trade. (shrink)

It is argued that current neuroimaging studies can provide useful constraints for the construction of models of cognition, and that these studies should be guided by cognitive models. A numberof challenges for a successful cross-fertilization between “mind mappers” and cognitive modelers are discussed in the light of current research on word recognition.